International labor rights, a categorical imperative?
نویسندگان
چکیده
منابع مشابه
A Categorical Model for Higher Order Imperative Programming
The order-enriched category of monotonic predicate transformers over posets is a model of the reenement calculus of higher order imperative programs and pre-post speciications. This category is shown to be equivalent to the category of spans over ideal relations, and ideal relations are shown to be spans over monotonic functions between posets, using a skew span construction because the standar...
متن کاملA Formalization of Kant's Second Formulation of the Categorical Imperative
We present a formalization and computational implementation of the second formulation of Kant’s categorical imperative. This ethical principle requires an agent to never treat someone merely as a means but always also as an end. Here we interpret this principle in terms of how persons are causally affected by actions. We introduce Kantian causal agency models in which moral patients, actions, g...
متن کاملTrade and Labor Rights: A Panel Study
This paper tests the hypothesis that a “California Effect” serves to transmit superior labor standards from importing to exporting countries in a manner similar to the transmission of environmental standards. Our dependent variables measure the extent to which collective labor rights are violated, both in law and in practice. Our main independent variable, the bilateral trade context, measures ...
متن کاملKantian Right and the Categorical Imperative: Response to Willaschek
In his 2009 article ‘Right and Coercion,’ Marcus Willaschek argues that the Categorical Imperative and the Universal Principle of Right are conceptually independent of one another because (1) the concept of right and the authorization to use coercion are analytically connected in Kant’s ‘Doctrine of Right’, but (2) the authorization to coerce cannot be derived from the Categorical Imperative. G...
متن کاملCategorical Model of Structural Operational Semantics for Imperative Language
Definition of programming languages consists of the formal definition of syntax and semantics. One of the most popular semantic methods used in various stages of software engineering is structural operational semantics. It describes program behavior in the form of state changes after execution of elementary steps of program. This feature makes structural operational semantics useful for impleme...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Revue de droit. Université de Sherbrooke
سال: 2004
ISSN: 0317-9656
DOI: 10.17118/11143/11935